Object type

Results: 830



#Item
251Computing / Data types / Object-oriented programming / Polymorphism / Type systems / Subtype polymorphism / Symbol / Entailment / System F / Type theory / Software engineering / Programming language theory

Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 1999-12-29 11:26:37
252Computer programming / Denotational semantics / Object-oriented design / Type safety / Actor model / Method overriding / Object / Type system / Modal logic / Software engineering / Computing / Object-oriented programming

Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:21:55
253Software engineering / Theoretical computer science / Object-oriented programming / Polymorphism / Subtype polymorphism / Type system / Type theory / Data types / Programming language theory

Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:54:08
254Object-oriented programming / Protocol / Abstraction / Class / Mutator method / Abstract data type / Java / Interface / Object / Computing / Software engineering / Computer programming

Limitations of Data Encapsulation and Abstract Data Types Paul L. Bergstein University of Massachusetts Dartmouth Abstract One of the key benefits provided by object-oriented

Add to Reading List

Source URL: www.cis.umassd.edu

Language: English - Date: 2000-08-29 17:06:26
255Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.cardse.net

Language: English - Date: 2008-08-20 09:09:33
256Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.espol.edu.ec

Language: English - Date: 2008-08-20 09:09:33
257Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.gis-lab.info

Language: English - Date: 2008-08-20 09:09:33
258Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.itam.mx

Language: English - Date: 2008-08-20 09:09:33
259Object-oriented programming / Iterator / Abstraction / Type system / Set / Java / Serialization / Immutable object / Garbage collection / Computing / Software engineering / Computer programming

Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artif

Add to Reading List

Source URL: sdg.csail.mit.edu

Language: English - Date: 2014-05-07 00:01:25
260Type theory / Scripting languages / Object-oriented programming / Data types / Cross-platform software / Python / Dynamic programming language / Type system / Dynamic dispatch / Software engineering / Computing / Computer programming

Evaluating the dynamic behaviour of Python applications Alex Holkner James Harland School of Computer Science

Add to Reading List

Source URL: crpit.com

Language: English - Date: 2012-01-19 01:28:48
UPDATE